Msg\_sub($l$; $M$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$m$:Msg($M$)$\mid$ haslink($l$; $m$)\}